Curated Reasoning by Formal Modeling of Provenance

The core problem addressed in this research is the current lack of an ability to repurpose and curate scientific data among interdisciplinary scientists within a research enterprise environment. Explosive growth in sensor technology as well as the cost of collecting ocean data and airborne measurements has allowed for exponential increases in scientific data collection as well as substantial enterprise resources required for data collection. There is currently no framework for efficiently curating this scientific data for repurposing or intergenerational use. There are several reasons why this problem has eluded solution to date to include the competitive requirements for funding and publication, multiple vocabularies used among various scientific disciplines, the number of scientific disciplines and the variation among workflow processes, lack of a flexible framework to allow for diversity among vocabularies and data but a unifying approach to exploitation and a lack of affordable computing resources (mostly in past tense now). Addressing this lack of sharing scientific data among interdisciplinary scientists is an exceptionally challenging problem given the need for combination of various vocabularies, maintenance of associated scientific data provenance, requirement to minimize any additional workload being placed on originating data scientist project/time, protect publication/credit to reward scientific creativity and obtaining priority for a long-term goal such as scientific data curation for intergenerational, interdisciplinary scientific problem solving that likely offers the most potential for the highest impact discoveries in the future. This research approach focuses on the core technical problem of formally modeling interdisciplinary scientific data provenance as the enabling and missing component to demonstrate the potential of interdisciplinary scientific data repurposing. This research develops a framework to combine varying vocabularies in a formal manner that allows the provenance information to be used as a key for reasoning to allow manageable curation. The consequence of this research is that it has pioneered an approach of formally modeling provenance within an interdisciplinary research enterprise to demonstrate that intergenerational curation can be aided at the machine level to allow reasoning and repurposing to occur with minimal impact to data collectors and maximum impact to other scientists

Fuzzy Spatial Querying with Inexact Inference

The issue of spatial querying accuracy has been viewed as critical to the successful implementation and long-term viability of the GIS technology. In order to improve the spatial querying accuracy and quality, the problems associated with the areas of fuzziness and uncertainty are of great concern in the spatial database community. There has been a strong demand to provide approaches that deal with inaccuracy and uncertainty in GIS. In this paper, we are dedicated to develop an approach that can perform fuzzy spatial querying under uncertainty. An inexact inferring strategy is investigated. The study shows that the fuzzy set and the certainty factor can work together to deal with spatial querying. Querying examples implemented by FuzzyClips are also provided

Canadian Hydrogen Intensity Mapping Experiment (CHIME) Pathfinder

A pathfinder version of CHIME (the Canadian Hydrogen Intensity Mapping Experiment) is currently being commissioned at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC. The instrument is a hybrid cylindrical interferometer designed to measure the large scale neutral hydrogen power spectrum across the redshift range 0.8 to 2.5. The power spectrum will be used to measure the baryon acoustic oscillation (BAO) scale across this poorly probed redshift range where dark energy becomes a significant contributor to the evolution of the Universe. The instrument revives the cylinder design in radio astronomy with a wide field survey as a primary goal. Modern low-noise amplifiers and digital processing remove the necessity for the analog beamforming that characterized previous designs. The Pathfinder consists of two cylinders 37\,m long by 20\,m wide oriented north-south for a total collecting area of 1,500 square meters. The cylinders are stationary with no moving parts, and form a transit instrument with an instantaneous field of view of $\sim$100\,degrees by 1-2\,degrees. Each CHIME Pathfinder cylinder has a feedline with 64 dual polarization feeds placed every $\sim$30\,cm which Nyquist sample the north-south sky over much of the frequency band. The signals from each dual-polarization feed are independently amplified, filtered to 400-800\,MHz, and directly sampled at 800\,MSps using 8 bits. The correlator is an FX design, where the Fourier transform channelization is performed in FPGAs, which are interfaced to a set of GPUs that compute the correlation matrix. The CHIME Pathfinder is a 1/10th scale prototype version of CHIME and is designed to detect the BAO feature and constrain the distance-redshift relation.Comment: 20 pages, 12 figures. submitted to Proc. SPIE, Astronomical Telescopes + Instrumentation (2014

A simulation-calibrated limit on the H i power spectrum from the GMRT Epoch of Reionization experiment

The Giant Metrewave Radio Telescope Epoch of Reionization experiment is an ongoing effort to measure the power spectrum from neutral hydrogen at high redshift. We have previously reported an upper limit of (70 mK)^2 at wavenumbers of k ≈ 0.65 h Mpc^(−1) using a basic piecewise-linear foreground subtraction. In this paper, we explore the use of a singular value decomposition to remove foregrounds with fewer assumptions about the foreground structure. Using this method, we also quantify, for the first time, the signal loss due to the foreground filter and present new power spectra adjusted for this loss, providing a revised measurement of a 2σ upper limit at (248 mK)^2 for k = 0.50 h Mpc^(−1). While this revised limit is larger than previously reported, we believe it to be more robust and still represents the best current constraint on reionization at z ≈ 8.6

Thiosquaramides: pH switchable anion transporters

The transport of anions across cellular membranes is an important biological function governed by specialised proteins. In recent years, many small molecules have emerged that mimick the anion transport behaviour of these proteins, but only a few of these synthetic molecules also display the gating/switching behaviour seen in biological systems. A small series of thiosquar-amides was synthesised and their pH-dependent chloride binding and anion transport behaviour was investigated using 1H NMR titrations, single crystal X-ray diffraction and a variety of vesicle-based techniques. Spectrophotometric titrations and DFT calculations revealed that the thiosquaramides are significantly more acidic than their oxosquaramide analogues, with pKa values between 4.0 and 9.0. This led to the observation that at pH 7.2 the anion transport ability of the thiosquaramides is fully switched OFF due to deprotonation of the receptor, but is completely switched ON at lower pH

Calibrating CHIME, A New Radio Interferometer to Probe Dark Energy

The Canadian Hydrogen Intensity Mapping Experiment (CHIME) is a transit interferometer currently being built at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC, Canada. We will use CHIME to map neutral hydrogen in the frequency range 400 -- 800\,MHz over half of the sky, producing a measurement of baryon acoustic oscillations (BAO) at redshifts between 0.8 -- 2.5 to probe dark energy. We have deployed a pathfinder version of CHIME that will yield constraints on the BAO power spectrum and provide a test-bed for our calibration scheme. I will discuss the CHIME calibration requirements and describe instrumentation we are developing to meet these requirements

Novel mutations in TARDBP (TDP-43) in patients with familial amyotrophic lateral sclerosis.

The TAR DNA-binding protein 43 (TDP-43) has been identified as the major disease protein in amyotrophic lateral sclerosis (ALS) and frontotemporal lobar degeneration with ubiquitin inclusions (FTLD-U), defining a novel class of neurodegenerative conditions: the TDP-43 proteinopathies. The first pathogenic mutations in the gene encoding TDP-43 (TARDBP) were recently reported in familial and sporadic ALS patients, supporting a direct role for TDP-43 in neurodegeneration. In this study, we report the identification and functional analyses of two novel and one known mutation in TARDBP that we identified as a result of extensive mutation analyses in a cohort of 296 patients with variable neurodegenerative diseases associated with TDP-43 histopathology. Three different heterozygous missense mutations in exon 6 of TARDBP (p.M337V, p.N345K, and p.I383V) were identified in the analysis of 92 familial ALS patients (3.3%), while no mutations were detected in 24 patients with sporadic ALS or 180 patients with other TDP-43-positive neurodegenerative diseases. The presence of p.M337V, p.N345K, and p.I383V was excluded in 825 controls and 652 additional sporadic ALS patients. All three mutations affect highly conserved amino acid residues in the C-terminal part of TDP-43 known to be involved in protein-protein interactions. Biochemical analysis of TDP-43 in ALS patient cell lines revealed a substantial increase in caspase cleaved fragments, including the approximately 25 kDa fragment, compared to control cell lines. Our findings support TARDBP mutations as a cause of ALS. Based on the specific C-terminal location of the mutations and the accumulation of a smaller C-terminal fragment, we speculate that TARDBP mutations may cause a toxic gain of function through novel protein interactions or intracellular accumulation of TDP-43 fragments leading to apoptosis

Limits on the ultra-bright Fast Radio Burst population from the CHIME Pathfinder

We present results from a new incoherent-beam Fast Radio Burst (FRB) search on the Canadian Hydrogen Intensity Mapping Experiment (CHIME) Pathfinder. Its large instantaneous field of view (FoV) and relative thermal insensitivity allow us to probe the ultra-bright tail of the FRB distribution, and to test a recent claim that this distribution's slope, $\alpha\equiv-\frac{\partial \log N}{\partial \log S}$, is quite small. A 256-input incoherent beamformer was deployed on the CHIME Pathfinder for this purpose. If the FRB distribution were described by a single power-law with $\alpha=0.7$, we would expect an FRB detection every few days, making this the fastest survey on sky at present. We collected 1268 hours of data, amounting to one of the largest exposures of any FRB survey, with over 2.4\,$\times$\,10$^5$\,deg$^2$\,hrs. Having seen no bursts, we have constrained the rate of extremely bright events to $<\!13$\,sky$^{-1}$\,day$^{-1}$ above $\sim$\,220$\sqrt{(\tau/\rm ms)}$ Jy\,ms for $\tau$ between 1.3 and 100\,ms, at 400--800\,MHz. The non-detection also allows us to rule out $\alpha\lesssim0.9$ with 95$\%$ confidence, after marginalizing over uncertainties in the GBT rate at 700--900\,MHz, though we show that for a cosmological population and a large dynamic range in flux density, $\alpha$ is brightness-dependent. Since FRBs now extend to large enough distances that non-Euclidean effects are significant, there is still expected to be a dearth of faint events and relative excess of bright events. Nevertheless we have constrained the allowed number of ultra-intense FRBs. While this does not have significant implications for deeper, large-FoV surveys like full CHIME and APERTIF, it does have important consequences for other wide-field, small dish experiments

Rifaximin Treatment in Hepatic Encephalopathy

Background Hepatic encephalopathy is a chronically debilitating complication of hepatic cirrhosis. The efficacy of rifaximin, a minimally absorbed antibiotic, is well documented in the treatment of acute hepatic encephalopathy, but its efficacy for prevention of the disease has not been established. Methods In this randomized, double-blind, placebo-controlled trial, we randomly assigned 299 patients who were in remission from recurrent hepatic encephalopathy resulting from chronic liver disease to receive either rifaximin, at a dose of 550 mg twice daily (140 patients), or placebo (159 patients) for 6 months. The primary efficacy end point was the time to the first breakthrough episode of hepatic encephalopathy. The key secondary end point was the time to the first hospitalization involving hepatic encephalopathy. Results Rifaximin significantly reduced the risk of an episode of hepatic encephalopathy, as compared with placebo, over a 6-month period (hazard ratio with rifaximin, 0.42; 95% confidence interval [CI], 0.28 to 0.64; P Conclusions Over a 6-month period, treatment with rifaximin maintained remission from hepatic encephalopathy more effectively than did placebo. Rifaximin treatment also significantly reduced the risk of hospitalization involving hepatic encephalopathy. (ClinicalTrials.gov number, NCT00298038.